More from this Author
Found 4 books by Bengt Nordstrom (Editor)
Types for Proofs and Programs
by Peter Dybjer (Editor), Bengt Nordstrom (Editor), Jan Smith (Editor)
Types for Proofs and Programs
by TYPES '99 Staff, Thierry Coquand (Editor), Peter Dybjer (Editor), Bengt Nordstrom (Editor), Jan H. Smith (Editor)
Types for Proofs and Programs
by Peter Dybjer (Editor), Bengt Nordstrom (Editor), Jan Smith (Editor)
Types for Proofs and Programs
by Thierry Coquand (Editor), Peter Dybjer (Editor), Bengt Nordstrom (Editor)